kw.\*:("input determination")
Results 1 to 1 of 1
Selection :
On timed automata with input-determined guardsD'SOUZA, Deepak; TABAREAU, Nicolas.Lecture notes in computer science. 2004, pp 68-83, issn 0302-9743, isbn 3-540-23167-6, 16 p.Conference Paper